(= (mod 4 2) 0)
